Is the diskette in the drive formatted?